Domanov Oleg A. «Formalization of Contexts in Type Theory with Records and Modules» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №52 C.23-38
Lamberov Lev D. «The Concept of Proof in the Context of a Type-Theoretic Approach, III: Proofs as (Some) Types» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2020. №57 C.25-32
Lamberov Lev D. «The Concept of Proof in the Context of a Type-Theoretic Approach, II: Proofs of Theorems» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №49 C.34-41
Lamberov Lev D. «The concept of proof in the context of a type-theoretic approach, I: Proof of computer program correctness» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2018. №46 C.49-57
Borisov Evgeny V. «The Russell-Wittgenstein Theory of Symbolism» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №62 C.211-217
Khlebalin Aleksandr V., Tselishchev Vitaliy V. «Philosophical Insights and Technical Work: The Fates of Paradoxes» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №62 C.237-243
Domanov Oleg A. «Understanding as computation» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2022. №67 C.287-291
